axiom-deduction method
公理-演绎法
热门查询
- Isabelle [人名] 伊莎贝尔
- cyclical adj. 周期的，循环的
- vindicator n. 维护者；辩护者；证明者
- repetitive adj. 重复的
- penetration n. 渗透；突破；侵入；洞察力
- nymphet n. 早熟的少女；放荡的少妇；仙女般的少女
- chimney n. 烟囱
- iridium n. [化学] 铱（Ir）
- jensen n. 延森（姓氏）
- hereinafter adv. 以下，在下文中
- linguistically adv. 语言的；语言学方面
- SIME abbr. Security Intelligence Middle East (British) <英国>中东安全情报处
- prudery n. 假正经的行为；过分拘谨的言行
- chewable 可咀嚼的
- isabella n. 伊莎贝拉（女子名）
- gladiatorial adj. 争论的；斗剑者的
- layaway n. 保留供将来客户付清货款的商品；制革桶
- lectern n. 讲台；诵经台
- Kells n. (Kells)人名；(英)凯尔斯
- fennel n. 茴香
考试词汇表
- easy-to-recognize sign
- eat someone's head off
- eat sth in one swallow
- eat their own dog food
- eaten their hearts out
- eating my own dog food
- eave tile with pattern
- ebb and flow structure
- ebb-and-flow structure
- ebullating-bed reactor
- ebullience, ebulliency
- ebullioscopic constant
- ebullioscopic equation
- eccentric angular load
- eccentric aortic valve
- eccentric circular box
- eccentric contractions
- eccentric drive screen
- eccentric go-ahead rod
- eccentric implantation
